Standard completeness for extensions of IMTL