We show that the biharmonic Hilbert complex with mixed boundary conditions on bounded strong Lipschitz domains is closed and compact. The crucial results are compact embeddings that follow by abstract arguments using functional analysis together with particular regular decompositions. Higher Sobolev order results are also proved.