A cartesian site is a site whose underlying category is finitely complete (which the Elephant calls a cartesian category).
Cartesian sites play a central role in the construction of classifying topos.
The syntactic site of any theory is a cartesian site.