Congruent triangles are triangles that are identical in shape and size, meaning all corresponding sides and angles are equal. They can be proven congruent using criteria like SSS, SAS, ASA, AAS, and HL, which outline specific conditions of side and angle equivalences.