Thank you for the question.

Upon miner leaving the Leonardo network, all of the staked LEOS tokens will be released back to the miner.

Best,
LT