CompleteGraphQ

CompleteGraphQ[g] yields True if the graph g is a complete graph, and False otherwise.

CompleteGraphQ[g,vlist] yields True if the subgraph induced by vlist is a complete graph, and False otherwise.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.