Historical Rules · 3 July 2020
Rule 104.5
Official source text from the 3 July 2020 Rules release
If a player loses the game, that player leaves the game. If the game is a draw for a player, that player leaves the game. The multiplayer rules handle what happens when a player leaves the game; see rule 800.4.