The integral closure of a ring R in an extension ring S is the set of elements in S that are roots of monic polynomials with coefficients in R. It provides a way to extend the notion of 'closeness' or 'completeness' of a ring, similar to how real numbers complete the rational numbers.