Rule 652
If the game continues, follow these steps for Removal of a Player.
- 652.1 Banish all permanents, runes, and facedown cards they currently control and all permanents, runes, and facedown cards…
- 652.2 Remove the Battlefield they contributed to the game if it is in use.
- 652.3 Remove all cards they own from the game.
- 652.4 Counter all spells and abilities of all types controlled by the player that has conceded.
- 652.5 Proceed with the game.