Completion of disjunctive logic programs