The closure of a graph is the graph you get by adding an edge between two vertices if the sum of their degrees is greater than or equal to the order of the graph and doing this until no new edges can be added.
A graph (left) and its closure (right).
In GrInvIn you can create the closure of a graph in the editor by using the closure button.