Thanks Richard. The ref actually said to the table workers to scratch him from the bracket, "he is done". The match was over, so I just assumed he meant the rest of the tournament.