A matrix is in Row Echelon Form (REF) if:
All zero rows are at the bottom.
The leading coefficient of a row is to the right of the leading coefficient of the row above it.
All entries above leading coefficients are zero.
The leading coefficient is always 1.