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.