En la teoría de grafos un grafo bipartito (ó bipartido) completo es aquel Grafo bipartito en el que todos los vértices de la partición están conectados a todos los vértices de la partición y viceversa.
Un grafo bipartito completo es un grafo bipartito tal que El grafo completo bipartito con particiones de tamaño y es denotado como .