[subject] + 是不是 + [noun]?
Checking a whole sentence: [subject] + 是不是 + [predicate]? [statement],是不是?
是不是 is the A-not-A form of 是, and it asks the same question as 是…吗.
The answer is 是 or 不是.
是不是 also brackets a whole predicate, including one with no 是 in it. Here it stops asking and starts confirming: the speaker thinks they know the answer and wants it verified.
Compare 你累吗, which is an open question with no guess behind it.
Tacked on after a full statement, 是不是 works like the English tag "right?".