More or less. The football field, locker rooms, and observation deck I don't think are ever actually mentioned in the show. I made those up, though I think it's entirely possible that they exist. But the rest... the library, garden, gallery, medical bay, archived control rooms, multiple squash courts, and a swimming pool are all definitely mentioned specifically, either in classic or new Who. Places like the bedrooms, bathroom, kitchen, and dining room, though they may not be specifically mentioned, almost certainly exist, given how much time is spent in the TARDIS by the Doctor and his companions.

Perhaps both. There might be a high school in there somewhere... You never know.