Leisure planet
From Tardis Wiki, the free Doctor Who reference
A leisure planet or Leisure world was a type of planet dedicated to relaxation and vacation. The first such resort was established during the 23rd century on Argolis. Others were Limnos 4, Abydos, Fiesta 95 and Midnight. (DW: The Leisure Hive, Midnight)
By the early 22nd century, Mars was cleaned up and also turned into a leisure planet. (DWM: The Cruel Sea)
- this seems to contradict the establishment of the first such planet in the 23rd century. Perhaps the Doctor used this term because it was a leisure planet in all-but-name, and the precise term was only invented later.
- holiday worlds and planets might be the same idea by another name
