Tagged t-systems