A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses