Banaschewski’s theorem for S-posets: regular injectivity and completeness