Large symmetric games are characterized by completeness of the desirability relation