A universal sentence is a sentence (i.e., formula of the predicate calculus without free variables) whose variables are universally quantified.

existential sentence | universal formula | universal quantifier