Meier [Games Econ. Behav. 62, 53–66] shows that the universal knowledge–belief space exists. However, besides the universality there is an other important property might be imposed on knowledge–belief spaces, inherited also from type spaces, the completeness. In this paper, we introduce...