Leisure planet

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