A Weak Allowedness Condition that Ensures Completeness of SLDNF-Resolution