We investigate Krull dimensions of semirings and semifields dealt with in tropical geometry. For a congruence C on a tropical Laurent polynomial semiring 𝕋[X±1, . . . , X±n], a finite subset T of C is called a finite congruence tropical basis of C if the congruence variety V (T) associated with T coincides with V (C). For C proper, we prove that the Krull dimension of the quotient semiring 𝕋[X±1, . . . , X±n]/C coincides with the maximum of the dimension of V (C) as a polyhedral complex plus one and that of V (C𝔹) when both C and C𝔹 have finite congruence tropical bases, respectively. Here C𝔹 is the congruence on 𝕋[X±1, . . . , X±n] generated by {(f𝔹, g𝔹) | (f, g) ∈ C} and f𝔹 is defined as the tropical Laurent polynomial obtained from f by replacing the coefficients of all non-∞ terms of f with the real number zero. With this fact, we also show that rational function semifields of tropical curves that do not consist of only one point have Krull dimension two.