Semi-decidable means that will accept all correct formulas, and either rejects incorrect formulas or gives no answer. It's the same as having a generator that generates every correct formula eventually.
In my opinion, OP is incorrect and those systems are sound but indecidable.
In my opinion, OP is incorrect and those systems are sound but indecidable.