Semiperfect semigroups are abelian involution semigroups on which every positive semide®nite function admits a disintegration as an integral of hermitian multiplicative functions. Famous early instances are the group of integers (Herglotz' Theorem) and the semigroup of nonnegative integers (Hamburger's Theorem). Complete semiperfectness is de®ned similarly with matrix-valued functions instead of scalar-valued ones. The matrix version of Hamburger's Theorem was shown by Sz.-Nagy. It is known that every homomorphic image of a completely semiperfect semigroup is completely semiperfect. The main result of the present paper shows that under certain conditions one can go the other way and infer the complete semiperfectness of a semigroup from that of a homomorphic image of it.