In this section

Historical Rules · 29 April 2022

Rule 104.5

Official source text from the 29 April 2022 Rules release

Permalink

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.

Find this number in the current Rules