Using genetic code expansion (GCE) to encode bioorthogonal chemistry has emerged as a promising method for protein labeling, both in vitro and within cells. Here, we demonstrate that tetrazine (Tet) amino acids incorporated into proteins are highly tunable and have extraordinary potential for fast and quantitative bioorthogonal ligations. We describe the synthesis and characterization of reaction rates for 29 Tet amino acids (20 of which are new) and compare their encoding ability into proteins using evolved tRNA/RS pairs. For these systems, we characterized on-protein Tet stability, reaction rates, and ligation extents as the utility of a bioorthogonal labeling group depends on its stability and reactivity when encoded into proteins. By integrating data on encoding efficiency, selectivity, on-protein stability, and in-cell labeling for Tet tRNA/RS pairs, we developed the smallest, fastest, and most stable Tet to date. This was achieved by introducing fluorine substituents to Tet4, resulting in reaction rates at the 10⁶ M⁻¹s⁻¹ level while minimizing degradation. This study expands the toolbox of bioorthogonal reagents for Tet-sTCO-based, site-specific protein labeling and demonstrates that the Tet is a uniquely tunable, highly reactive, and encodable bioorthogonal functional group. These findings provide a foundation to further explore Tet encoding and reactivity.