Laika Protocol

The TARDIS' Laika Protocol was designed to dispose of the Doctor's corpse in the event of his death. The Tenth Doctor told Martha Jones to activate the Laika Protocol if he ever died. (PROSE: The Many Hands)

Laika was a dog sent to space by humans; the Third Doctor and Sarah Jane Smith had retreived her body and buried it on Quiescia. Later, the Eighth Doctor brought his own future corpse to the same site and destroyed it with a thermosystron bomb. (PROSE: Alien Bodies)

Bernice Summerfield searched for the Doctor's remains on Quiescia, but she found nothing. (PROSE: The Shape of the Hole)