In this talk, we explore a notion that sits between the concept of locally finite variety and that of periodic variety, using the inescapable Green's relations. Namely, a variety is said to be K-finite, where K stands for any of the Green's relations, if every finitely generated semigroup in this variety has but finitely many K-classes. Our characterization uses the language of "forbidden objects".