การปิดแบบทั้งหมด ของตัว φ เป็นรูปแบบที่ไม่มีตัวแปรอิสระจากการเติมตัวบ่งปริมาณแบบทั้งหมดให้แก่ตัวแปรอิสระใดๆ ใน φ ตัวอย่างเช่น การปิดแบบทั้งหมดของ

P ( y ) ∧ ∃ x Q ( x , z ) {\displaystyle P(y)\land \exists xQ(x,z)}

คือ

∀ y ∀ z ( P ( y ) ∧ ∃ x Q ( x , z ) ) {\displaystyle \forall y\forall z(P(y)\land \exists xQ(x,z))}